Non-Reconstructability in the Stochastic Block Model

We consider the problem of clustering (or reconstruction) in the stochastic block model, in the regime where the average degree is constant. For the case of two clusters with equal sizes, recent results [MNS13, Mas14, MNS14] show that reconstructability undergoes a phase transition at the Kesten-Stigum bound of λ 2 d = 1, where λ2 is the second largest eigenvalue of a related stochastic matrix and d is the average degree. In this paper, we address the general case of more than two clusters and/or unbalanced cluster sizes. Our main result is a sufficient condition for clustering to be impossible, which matches the existing result for two clusters of equal sizes. A key ingredient in our result is a new connection between non-reconstructability and non-distinguishability of the block model from an Erdős-Rényi model with the same average degree. We also show that it is some times possible to reconstruct even when λ 2 d < 1. Our results provide evidence supporting a series of conjectures made by Decelle et al. [DKMZ11] regarding reconstructability and distinguishability of stochastic block models (but do not settle them).